More from this Author

Software Safety and Security

by T. Nipkow (Editor), O. Grumberg (Editor)

Rewriting Techniques and Applications

by T. Nipkow (Editor), G. Goos (Contribution by), J. Hartmanis (Contribution by), Jan Van Leeuwen (Contribution by)

Types for Proofs and Programs

by H. Barendregt (Editor), T. Nipkow (Editor)